1. اثبات نظریه کانت مبنی بر تبدیل همۀ اشکال قیاس به شکل اول
پدیدآورنده: علی اکبر پیمان
کتابخانه: کتابخانه مجازی (دیجیتالی) الفبا (تهران)
موضوع: نظریه مجموعه ها;قیاس صوری;منطق صوری;نمودار وِن;منطق ریاضی;
2. ورودي به منطق رياضي
پدیدآورنده: نوشته ايزائيل سالامونوويچ ,ترجمه پرويز شهرياري
کتابخانه: كتابخانه عمومی فلاورجان (اصفهان)
موضوع: مجموعه ها-نظريه منطق صوري و رياضي
رده :
511
3-
گ
248
و
3. ورودي به منطق رياضي , قضيه مستقيم و قضيه معکوس
پدیدآورنده: اسرائيل سالامونويچ گرادشتين ترجمه پرويز شهرياري,قضيه مستقيم و معکوس
کتابخانه: كتابخانه عمومی میمند (فارس)
موضوع: مجموعه ها - نظريه منطق صوري و رياضي
رده :
511
3-
گ
248
و
4. ورودي به منطق رياضي قضيه مستقيم و قضيه معکوس
پدیدآورنده: ايزائيل گرادشتين ترجمه پرويز شهرياري
کتابخانه: كتابخانه عمومی خرامه (فارس)
موضوع: مجموعه ها - نظريه ها منطق صوري و رياضي
رده :
511
3-
گ
248
و
5. ورودی به منطق،قضیه مستقیم وقضیه معکوس
پدیدآورنده: / نوشته ایزائیل سالامونوویچ گرادشتین،ترجمه پرویز شهریاری
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: مجموعه ها- نظریه,منطق صوری ریاضی
رده :
۵۱۲
/
۹۰۴۲
گ
۲۴۸
و